1. Communicating sequential processes : the first 25 years : Symposium on the Occasion of 25 years of CSP, London, UK, July 7-8, 2004 : revised invited papers
Author: Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، CSP )Computer program language(,Congresses ، Parallel programming )Computer science(,Congresses ، Sequential processing )Computer science(,Congresses ، Computer programming,Congresses ، Parallel processing )Electronic computers(
Classification :
QA
76
.
L28
Vol
.
3525
2. Dependable and Historic Computing
Author: / Cliff B. Jones, John L. Lloyd
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: CONTROL SYSTEMS&COMPUTER SCIENCE, SOFTWARE ENGINEERING|AUTOMATION
Classification :
E-BOOK
3. Dependable and Historic Computing :
Author: Cliff B Jones
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
Classification :
QA76
.
17
C554
2012
4. FME'97, industrial applications and strengthened foundations of formal methods : 4th International Symposium of Formal Methods Europe 1997 : proceedings
Author: John Fitzgerald, Cliff B. Jones, Peter Lucas, )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Methodology -- Congresses ، System design
Classification :
QA
76
.
L28
Vol
.
1313
5. Formal methods and hybrid real-time systems
Author: Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: Bj▓rner, D., (Dines), 1937-,Chaochen, Zhou,Formal methods (Computer science), Congresses,Real-time data processing, Congresses
Classification :
QA
،
76
.
9
،.
F67
,
F525
،
2007
6. Formal methods and hybrid real-time systems
Author: / Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Bj�rner, D.--(Dines),--1937,Chaochen, Zhou.,Formal methods (Computer science)--Congresses,Real-time data processing--Congresses
Classification :
QA
,
76
.
9
,.
F67
,
F525
,
2007
7. Proceedings of the 5th Refinement Workshop :
Author: organised by BCS-FACS. Cliff B. Jones ... (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Softwareentwicklung.,Verfeinerung.
Classification :
QA76
.
76
.
D47
O743
1992
8. Reflections on the Work of C.A.R. Hoare
Author: / A.W. Roscoe, Cliff B. Jones, Kenneth R. Wood
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY
Classification :
E-BOOK
9. Software development: a rigorous approach
Author: Jones, Cliff B
Library: Central Library and Information Center of Birjand University (South Khorasan)
Subject: ، Programming )Electronic computers(
Classification :
QA
76
.
6
.
J6
S6
10. Systematic software development using VDM
Author: Jones, Cliff B.
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Computer software Development
Classification :
QA
76
.
76
.
D47
J66
1990
11. Systematic software development using VDM
Author: Jones, C. B.)Cliff B.(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer software-- Development
Classification :
QA
76
.
76
.
D47
.
J66
1986
12. Systematic software development using VDM
Author: Jones, Cliff B
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Computer software - Development - Management
Classification :
QA
76
.
76
.
D47
J66
1990
13. Systematic software development using VDM
Author: Jones, Cliff B
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Computer software -- Development
Classification :
QA
76
.
76
.
D47
J66
1989
14. Systematic software development using VDM
Author: / Cliff B. Jones
Library: Tehran University, technical faculty libraries 1 (Tehran)
Subject: Computer software - Development
Classification :
QA
76
.
76
.
D47J66
1989
15. Systematic software development using vdm
Author: JONES,CLIFF B
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: COMPUTER SOFTWARE-DEVELOPMENT
Classification :
QA
76
.
76
.
D47
J66
16. Theoretical aspects of computing
Author: / Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Electronic data processing--Congresses,Information theory--Congresses
Classification :
QA
,
75
.
5
,.
I135
,
2007
